Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Continue readingFocusses specifically on topics that are important in three-dimensional modelling, surface design and real-time character ...
Continue readingThis book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on OpenMP, IWOMP ...
Continue readingThis book constitutes the refereed proceedings of the 21th Australasian Joint Conference on Artificial Intelligence, AI 2008, ...
Continue readingThe primary goals for this book were to enhance its capabilities particularly in those areas where its reliability and predictability ...
Continue readingThis book - in conjunction with the two volumes CCIS 0015 and LNCS 5226 - constitutes the refereed proceedings of the 4th ...
Continue readingThis book - in conjunction with the two volumes CCIS 0015 and LNAI 5226 - constitutes the refereed proceedings of the 4th ...
Continue readingThis book constitutes the refereed proceedings of the 11th Ibero-American Conference on Artificial Intelligence, IBERAMIA ...
Continue readingThis book constitutes the refereed proceedings of the 19th Brazilian Symposium on Artificial Intelligence, SBIA 2008, held ...
Continue readingThe two volume set LNCS 5263/5264 constitutes the refereed proceedings of the 5th International Symposium on Neural Networks, ...
Continue readingThe two volume set LNCS 5263/5264 constitutes the refereed proceedings of the 5th International Symposium on Neural Networks, ...
Continue readingThis tutorial presents a collection of research papers on themes discussed at the Lipari Summer School on Advances in Software ...
Continue readingThe two volume set LNCS 5358 and LNCS 5359 constitutes the refereed proceedings of the 4th International Symposium on Visual ...
Continue readingThe two volume set LNCS 5358 and LNCS 5359 constitutes the refereed proceedings of the 4th International Symposium on Visual ...
Continue readingThis volume constitutes the thoroughly refereed proceedings of the 8th International Workshop on Agent-Oriented Software ...
Continue readingThis book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software ...
Continue readingThis book constitutes the reviewed proceedings of the Fourth International Workshop on Algorithmic Aspects of Wireless Sensor ...
Continue readingThis book constitutes the refereed proceedings of the 16th Annual European Symposium on Algorithms, ESA 2008, held in Karlsruhe, ...
Continue readingThis book constitutes the refereed proceedings of the 8th International Conference on Algorithms and Architectures for Parallel ...
Continue readingThis book is a concise introduction addressed to students and professionals familiar with programming and basic mathematical ...
Continue reading